Craig Kallendorf, The Other Virgil. Pessimistic

Pessimistic Testing

We propose a new approach to testing conformance to a nondeterministic specification , in which testing proceeds only as long as increased test coverage is guaranteed. In testing that a system meets a nondeterministic specification [1], it is usually assumed that the system is fair to each transition of the specification (i.e., the system will make every possible nondeterministic choice if give...

Reviewer : Craig

Craig Interpretation

Abstract interpretation (AI) is one of the most scalable automated approaches to program verification available today. To achieve efficiency, many steps of the analysis, e.g., joins and widening, lose precision. As a result, AI often produces false alarms, coming from the inability to find a safe inductive invariant even when it exists in a chosen abstract domain. To tackle this problem, we pre...

and the baroque guitar CRAIG

Guitar chords with a flurry of strummed strings sonorities we gard as commonplace revolutionized the sound of music at the 1500s and opened up a new universe of musical thought in Western Melody and counterpoint had reigned supreme throughout the as the principal musical aspects of a composition, but around role was challenged by a startling new concept harmony. viously music consisted of horiz...

Pessimistic Software Lock-Elision

Read-write locks are one of the most prevalent lock forms in concurrent applications because they allow read accesses to locked code to proceed in parallel. However, they do not offer any parallelism between reads and writes. This paper introduces pessimistic lock-elision (PLE), a new approach for nonspeculatively replacing read-write locks with pessimistic (i.e. non-aborting) software transact...